MSC virtual e-abstract (OCL-02)

2008 MSC Paper Abstract

This paper presents the experimental results of the application of a robust tube-based MPC for tracking of piece-wise constant references to a plant based on the quadruple-tank process. This controller, defined for LTI system subject to additive and bounded disturbances, ensures: (i) the feasibility for any admissible setpoint, (ii) the robust constraint satisfaction, (iii) robust stability and...

How to process OCL Abstract Syntax Trees

The Model Development Tools Object Constraint Language (MDT OCL) project provides the building blocks for Model-Driven tools to weave OCL declarative specifications into software artifacts. We showcase some of these possibilities, taking as starting point a plug-in to visualize OCL abstract syntax trees (ASTs) in the form of annotated trees. This example motivates some practical tips about patt...

An OCL-based Bridge from Concrete to Abstract Syntax

The problem of converting human readable programming languages into executable machine representations is an old one. EBNF and Attribute grammars provide solutions, but unfortunately they have failed to contribute effectively to model-based Object Management Group (OMG) specifications. Consequently the OCL and QVT specifications provide examples of specifications with significant errors and omi...

Poster Abstract: Virtual Sensing Range

Abstract Classes and Pure Virtual Functions

Classes and Pure Virtual Functions In this article we will be discussing abstract classes, and how they are implemented in C++. The first part of the article will define abstract classes and describe how to use them as tools for Object Oriented Design. The second half of the article will concern itself with their implementation in C++, and some of the quirks and pitfalls that surround their use...